Joint Cruise 1-2 2018

Applied Logic - CS 4860 - 2018 - Lecture 2

In this lecture we will begin covering topics from Smullyan’s excellent textbook, First-Order Logic. Many people regard this as one of the best logic textbooks written for teaching the logic which is the title of the book. That topic is covered in Part II of the book. Part I is about Propositional Logic and certain simple facts about trees. Trees are important because Smullyan treats proofs as ...

Applied Logic - CS 4860 - 2018 - Lecture 1

For over two millennia logic developed as a distinct subject in philosophy and mathematics. It is now vitally important in computer science (CS) as well. Logic is essential to guarantee the correctness and safety of software systems on which society increasingly depends. A single coding error or misunderstanding in building a critical system component can and has resulted in disaster. Furthermo...

Appendix 1: Osteopathic Graduate Medical Education, 2018.

Tamoxifen Induced Pancreatitis in Eu-lipidemia: A Case Report. J Cancer Oncol 2018, 2(1): 000118

Tamoxifen is used as hormonal therapy in the treatment of breast cancer patients. Tamoxifen tablet is a well tolerated and generally devoid of any life threatening adverse drug reaction. Pancreatitis is a rare but life threatening adverse drug reaction of tamoxifen. Rare side effects of drugs are usually missed. Previous case reports and review discussions are available and argue that tamoxifen...

CombinaTexas 2018 February 10 – 11 , 2018

In this talk we give combinatorial proofs of q-Stirling identities using restricted growth words. This includes a poset theoretic proof of Carlitz’s identity, a new proof of the q-Frobenius identity of Garsia and Remmel and of Ehrenborg’s Hankel q-Stirling determinantal identity. We also develop a two parameter generalization to unify identities of Mercier and include a symmetric function versi...